* (validate-solution :verbose
(pickup-connector agent1 connector1 area1)
(connect-to-2-terminus agent1 connector1 transmitter1 receiver1 area1 ground)
(move agent1 area1 area2)
(pickup-connector agent1 connector2 area2)
(move agent1 area2 area4)
(connect-to-1-terminus agent1 connector2 transmitter1 area4 ground)
(move agent1 area4 area1)
(pickup-connector agent1 connector1 area1)
(move agent1 area1 area2)
(connect-to-3-terminus agent1 connector1 transmitter2 receiver1 receiver3 area2 ground)
(move agent1 area2 area3)
(pickup-connector agent1 connector3 area3)
(connect-to-3-terminus agent1 connector3 transmitter1 connector1 receiver2 area3 ground)
(move agent1 area3 area4)
(pickup-connector agent1 connector2 area4))

Validating 15 actions...

Start state:
  Time: 0.0
  Value: 0.0
  Propositions:
    (CURRENT-BEAMS NIL)
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR1 AREA1)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)


--- Action 1: (PICKUP-CONNECTOR AGENT1 CONNECTOR1 AREA1) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR1 AREA1)
  Precondition satisfied for: (AGENT1 CONNECTOR1)
Action 1 succeeded.
Resulting state:
  Time: 1.0
  Value: 0.0
  Propositions:
    (CURRENT-BEAMS NIL)
    (HOLDS AGENT1 CONNECTOR1)
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)


--- Action 2: (CONNECT-TO-2-TERMINUS AGENT1 CONNECTOR1 TRANSMITTER1 RECEIVER1 AREA1 GROUND) ---
  Effect variables: (?AGENT $CARGO ?T1 ?T2 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR1 TRANSMITTER1 RECEIVER1 AREA1 GROUND)
  Precondition satisfied for: (AGENT1 (TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER1 TRANSMITTER1))
Action 2 succeeded.
Resulting state:
  Time: 2.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM2 BEAM1))
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)


--- Action 3: (MOVE AGENT1 AREA1 AREA2) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA1 AREA2)
  Precondition satisfied for: (AGENT1 AREA2)
Action 3 succeeded.
Resulting state:
  Time: 3.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM2 BEAM1))
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)


--- Action 4: (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA2) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR2 AREA2)
  Precondition satisfied for: (AGENT1 CONNECTOR2)
Action 4 succeeded.
Resulting state:
  Time: 4.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM2 BEAM1))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)


--- Action 5: (MOVE AGENT1 AREA2 AREA4) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA2 AREA4)
  Precondition satisfied for: (AGENT1 AREA1)
  Precondition satisfied for: (AGENT1 AREA3)
  Precondition satisfied for: (AGENT1 AREA4)
Action 5 succeeded.
Resulting state:
  Time: 5.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM2 BEAM1))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)


--- Action 6: (CONNECT-TO-1-TERMINUS AGENT1 CONNECTOR2 TRANSMITTER1 AREA4 GROUND) ---
  Effect variables: (?AGENT $CARGO ?T1 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR2 TRANSMITTER1 AREA4 GROUND)
  Precondition satisfied for: (AGENT1 TRANSMITTER1)
Action 6 succeeded.
Resulting state:
  Time: 6.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 7 8)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM3 BEAM2 BEAM1))
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (LOC CONNECTOR2 AREA4)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 7: (MOVE AGENT1 AREA4 AREA1) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA4 AREA1)
  Precondition satisfied for: (AGENT1 AREA1)
Action 7 succeeded.
Resulting state:
  Time: 7.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER1 CONNECTOR1 9 1)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 7 8)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM3 BEAM2 BEAM1))
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA1)
    (LOC CONNECTOR2 AREA4)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 8: (PICKUP-CONNECTOR AGENT1 CONNECTOR1 AREA1) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR1 AREA1)
  Precondition satisfied for: (AGENT1 CONNECTOR1)
Action 8 succeeded.
Resulting state:
  Time: 8.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 8 241/40)
    (CURRENT-BEAMS (BEAM3 NIL NIL))
    (HOLDS AGENT1 CONNECTOR1)
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR2 AREA4)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 9: (MOVE AGENT1 AREA1 AREA2) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA1 AREA2)
  Precondition satisfied for: (AGENT1 AREA2)
Action 9 succeeded.
Resulting state:
  Time: 9.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 8 241/40)
    (CURRENT-BEAMS (BEAM3 NIL NIL))
    (HOLDS AGENT1 CONNECTOR1)
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR2 AREA4)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 10: (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR1 TRANSMITTER2 RECEIVER1 RECEIVER3 AREA2 GROUND) ---
  Effect variables: (?AGENT $CARGO ?T1 ?T2 ?T3 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR1 TRANSMITTER2 RECEIVER1 RECEIVER3 AREA2 GROUND)
  Precondition satisfied for: (AGENT1 (RECEIVER1 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 RECEIVER1 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 RECEIVER1 TRANSMITTER2))
  Precondition satisfied for: (AGENT1 (RECEIVER3 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER1 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER1 TRANSMITTER2))
Action 10 succeeded.
Resulting state:
  Time: 10.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 29/3 41/15)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (CURRENT-BEAMS (BEAM4 BEAM3 NIL NIL))
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR2 AREA4)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 11: (MOVE AGENT1 AREA2 AREA3) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA2 AREA3)
  Precondition satisfied for: (AGENT1 AREA1)
  Precondition satisfied for: (AGENT1 AREA3)
Action 11 succeeded.
Resulting state:
  Time: 11.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 29/3 41/15)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (CURRENT-BEAMS (BEAM4 BEAM3 NIL NIL))
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR2 AREA4)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 12: (PICKUP-CONNECTOR AGENT1 CONNECTOR3 AREA3) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR3 AREA3)
  Precondition satisfied for: (AGENT1 CONNECTOR3)
Action 12 succeeded.
Resulting state:
  Time: 12.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 29/3 41/15)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (CURRENT-BEAMS (BEAM4 BEAM3 NIL NIL))
    (HOLDS AGENT1 CONNECTOR3)
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR2 AREA4)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 13: (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR3 TRANSMITTER1 CONNECTOR1 RECEIVER2 AREA3 GROUND) ---
  Effect variables: (?AGENT $CARGO ?T1 ?T2 ?T3 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR3 TRANSMITTER1 CONNECTOR1 RECEIVER2 AREA3 GROUND)
  Precondition satisfied for: (AGENT1 (RECEIVER1 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 RECEIVER1 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER2 RECEIVER1 TRANSMITTER2))
  Precondition satisfied for: (AGENT1 (RECEIVER3 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER1 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER1 TRANSMITTER2))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER2 TRANSMITTER2))
  Precondition satisfied for: (AGENT1 (RECEIVER3 RECEIVER2 RECEIVER1))
  Precondition satisfied for: (AGENT1 (CONNECTOR1 TRANSMITTER2 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (CONNECTOR1 RECEIVER1 TRANSMITTER1))
  Precondition satisfied for: (AGENT1 (CONNECTOR1 RECEIVER1 TRANSMITTER2))
  Precondition satisfied for: (AGENT1 (CONNECTOR1 RECEIVER2 TRANSMITTER1))
Action 13 succeeded.
Resulting state:
  Time: 13.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 29/3 41/15)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR3 10 9)
    (BEAM-SEGMENT BEAM6 CONNECTOR3 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM7 CONNECTOR3 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM8 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM9 CONNECTOR1 RECEIVER3 1 109/10)
    (COLOR CONNECTOR3 RED)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM9 BEAM8 BEAM7 BEAM6 BEAM5 BEAM4 BEAM3 NIL NIL))
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR2 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 CONNECTOR1)
    (PAIRED CONNECTOR3 RECEIVER2)
    (PAIRED CONNECTOR3 TRANSMITTER1)


--- Action 14: (MOVE AGENT1 AREA3 AREA4) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA3 AREA4)
  Precondition satisfied for: (AGENT1 AREA1)
  Precondition satisfied for: (AGENT1 AREA2)
  Precondition satisfied for: (AGENT1 AREA4)
Action 14 succeeded.
Resulting state:
  Time: 14.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM3 TRANSMITTER1 CONNECTOR2 29/3 41/15)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR3 10 9)
    (BEAM-SEGMENT BEAM6 CONNECTOR3 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM7 CONNECTOR3 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM8 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM9 CONNECTOR1 RECEIVER3 1 109/10)
    (COLOR CONNECTOR3 RED)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM9 BEAM8 BEAM7 BEAM6 BEAM5 BEAM4 BEAM3 NIL NIL))
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR2 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 CONNECTOR1)
    (PAIRED CONNECTOR3 RECEIVER2)
    (PAIRED CONNECTOR3 TRANSMITTER1)


--- Action 15: (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA4) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR2 AREA4)
  Precondition satisfied for: (AGENT1 CONNECTOR2)
Action 15 succeeded.
Resulting state:
  Time: 15.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR3 10 9)
    (BEAM-SEGMENT BEAM6 CONNECTOR3 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM7 CONNECTOR3 CONNECTOR1 19/2 17/2)
    (BEAM-SEGMENT BEAM8 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM9 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 CONNECTOR3 19/2 17/2)
    (COLOR CONNECTOR3 RED)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM10 BEAM9 BEAM8 BEAM7 BEAM6 BEAM5 BEAM4 NIL NIL NIL))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 CONNECTOR1)
    (PAIRED CONNECTOR3 RECEIVER2)
    (PAIRED CONNECTOR3 TRANSMITTER1)


VALIDATION SUCCESSFUL

All 15 actions executed successfully.
Goal satisfied.

Final state:
  Time: 15.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM4 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR3 10 9)
    (BEAM-SEGMENT BEAM6 CONNECTOR3 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM7 CONNECTOR3 CONNECTOR1 19/2 17/2)
    (BEAM-SEGMENT BEAM8 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM9 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 CONNECTOR3 19/2 17/2)
    (COLOR CONNECTOR3 RED)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM10 BEAM9 BEAM8 BEAM7 BEAM6 BEAM5 BEAM4 NIL NIL NIL))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 CONNECTOR1)
    (PAIRED CONNECTOR3 RECEIVER2)
    (PAIRED CONNECTOR3 TRANSMITTER1)
